Class 07 - 8.31

Sunday, August 30, 2015

14:17

Machine generated alternative text:
1. Axiom of Extensionality:
For every sets a and b, if a and b have the same elements, then a
2. Axiom of Empty Set:
The empty class is a set.
3. Axiom Schema of Separation:
The intersection of a class with a set is a set.
4. Axiom of Pairing:
For every sets a and b, the class la, b) is a set.
b.

Machine generated alternative text:
5. Axiom of Union:
For every set a, the class
is a set.

Machine generated alternative text:
6.
Axiom of Power Set:
For every set a, the class
P(a)
is a set.

Created with Microsoft OneNote 2013.